521. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
522. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
523. Thinking-driven testing :
Author: Adam Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
Classification :
QA76
.
758
524. Time-space, spiking neural networks and brain-inspired artificial intelligence /
Author: Nikola K. Kasabov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational neuroscience.,Machine learning.,Neural networks (Computer science),Object-oriented methods (Computer science),Artificial intelligence.,Computational neuroscience.,COMPUTERS-- Programming-- Object Oriented.,Life sciences: general issues.,Machine learning.,Neural networks (Computer science),Neurosciences.,Object-oriented methods (Computer science),Pattern recognition.,Robotics.
Classification :
QA76
.
9
.
O35
525. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
526. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
527. TortoiseSVN 1.7 beginner's guide :
Author: Lesley Harrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: TortoiseSVN.,TortoiseSVN.,TortoiseSVN.,Computer software-- Development.,Open source software.,Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Open source software.
Classification :
QA76
.
76
.
D47
H37
2011eb
528. Towards next generation grids :
Author: edited by Thierry Priol, Marco Vanneschi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational grids (Computer systems), Congresses.,Computational grids (Computer systems),Computational grids (Computer systems),COMPUTERS-- Client-Server Computing.,Informatique.
Classification :
QA76
.
9
.
C58
C675
2007eb
529. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018
530. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
531. UML 2 certification guide :
Author: Tim Weilkiens, Bernd Oestereich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,UML (Computer science)-- Examinations, Study guides.,Computer software-- Development-- Examinations-- Study guides.,COMPUTERS-- Programming-- Object Oriented.,Electronic data processing personnel-- Certification.,Electronic data processing personnel-- Certification.,UML (Computer science)-- Examinations-- Study guides.
Classification :
QA76
.
3
.
W4622
2007eb
532. UML 2 par la pratique :
Author: Pascal Roques.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Object-oriented programming (Computer science),Software patterns.,UML (Computer science),Analyse de systèmes-- Informatique.,Approche orientée objet (Informatique),Logiciels-- Modèles de conception.,UML (Informatique),Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Object-oriented programming (Computer science),Software patterns.,UML (Computer science)
Classification :
QA76
.
76
.
D47
R66
2008eb
533. Understanding Flash MX 2004 ActionScript 2 :
Author: Alex Michael.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Flash (Computer file),Flash (Computer file),Flash (Computer file),ActionScript (Computer program language),Computer animation.,ActionScript (Computer program language),Computer animation.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.
Classification :
TR897
.
7
.
M49
2004eb
534. Understanding SGML and XML Tools :
Author: by Peter Flynn.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Multimedia systems.,Text processing (Computer science)
Classification :
QA76
.
76
.
H94
B974
1998
535. Understanding and interpreting machine learning in medical image computing applications :
Author: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
Classification :
RC78
.
7
.
D53
I58
2018
536. Using Toolpack Software Tools :
Author: edited by A.A. Pollicini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
95
E358
1989
537. Using your web skills to make money :
Author: Azat Mardan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming-- Study and teaching.,Computer programming-- Vocational guidance.,Computer programming-- Study and teaching.,Computer programming-- Vocational guidance.,COMPUTERS-- Programming-- General.,Web programming.
Classification :
QA76
.
6
.
M37
2018
538. VSTO 3.0 for Office 2007 programming :
Author: Vivek Thangaswamy ; reviewers, Helmut Obertanner, Maarten van Stam, N Satheesh Kumar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft Office.,Microsoft Visual studio.,Microsoft Office.,Microsoft Office.,Microsoft Visual studio.,Microsoft Visual studio.,Web site development-- Computer programs.,COMPUTERS-- Desktop Applications-- Suites.,COMPUTERS-- Enterprise Applications-- General.,Web site development-- Computer programs.,Web site development-- Computer programs.
Classification :
TK5105
.
8885
.
M57
T43
2009eb
539. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
540. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
